java - 智能 : configure several Tomcat configurations with different server. xml